-recursive function

Results: 178



#Item
131Theoretical computer science / Functions and mappings / Recursion / Theory of computation / Primitive recursive function / Function / Μ-recursive function / Course-of-values recursion / Computability theory / Mathematics / Mathematical logic

Recursive definitions are familiar in mathematics. For instance, the function f defined by f (0) = 1, f (1) = 1, f (x + 2) = f (x + 1) + f (x), gives the Fibonacci sequence: 1, 1, 2, 3, 5, 8, 13, . . . . (The study of di

Add to Reading List

Source URL: www.ctan.org

Language: English - Date: 2013-12-20 19:14:22
132Enumerative combinatorics / Function / Partially ordered set / Inclusion–exclusion principle / Primitive recursive function / Filter / Mathematics / Order theory / Functions and mappings

PDF Document

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2011-10-26 09:56:23
133Theoretical computer science / Functions and mappings / Recursion / Theory of computation / Primitive recursive function / Function / Μ-recursive function / Course-of-values recursion / Computability theory / Mathematics / Mathematical logic

PDF Document

Add to Reading List

Source URL: ctan.org

Language: English - Date: 2013-12-20 19:14:22
134Interpolation / Numerical analysis / Computational statistics / Radial basis function network / Numerical linear algebra / Radial basis function / Recursive least squares filter / Gaussian function / Orthogonal matrix / Mathematics / Neural networks / Statistics

Recursive Orthogonal Least Squares Learning with Automatic Weight Selection for Gaussian Neural Networks Meng H. Fun, [removed], Oklahoma State University Martin T. Hagan, [removed], Oklahoma S

Add to Reading List

Source URL: hagan.ecen.ceat.okstate.edu

Language: English - Date: 2008-01-23 11:12:51
135Interpolation / Numerical analysis / Computational statistics / Radial basis function network / Numerical linear algebra / Radial basis function / Recursive least squares filter / Gaussian function / Orthogonal matrix / Mathematics / Neural networks / Statistics

Recursive Orthogonal Least Squares Learning with Automatic Weight Selection for Gaussian Neural Networks Meng H. Fun, [removed], Oklahoma State University Martin T. Hagan, [removed], Oklahoma S

Add to Reading List

Source URL: hagan.okstate.edu

Language: English - Date: 2008-01-23 11:12:51
136Mathematics / Computer science / Turing reduction / Low / Computable function / Turing degree / Function / Recursive set / Enumeration / Computability theory / Theoretical computer science / Theory of computation

Π01 CLASSES AND STRONG DEGREE SPECTRA OF RELATIONS JOHN CHISHOLM, JENNIFER CHUBB, VALENTINA S. HARIZANOV, DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., TIMOTHY MCNICHOLL, AND SARAH PINGREY Abstract. We study the weak tru

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2009-07-29 17:57:30
137Mathematics / Computer science / Computable function / Recursive set / Computation in the limit / Generic-case complexity / Turing reduction / Halting problem / Blum axioms / Computability theory / Theoretical computer science / Theory of computation

GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY CARL G. JOCKUSCH, JR. AND PAUL E. SCHUPP Abstract. Generic decidability has been extensively studied in group theory, and we now study it in the context of cl

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2013-02-15 20:06:55
138Mathematics / Computer science / Computable function / Recursive set / Recursively enumerable set / Enumeration / Generic-case complexity / Halting problem / Low / Computability theory / Theory of computation / Theoretical computer science

ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS RODNEY G. DOWNEY, CARL G. JOCKUSCH, JR., AND PAUL E. SCHUPP Abstract. We study connections between classical asymptotic density, computability and computable enumerabilit

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2013-07-19 19:14:33
139Mathematics / Theory of computation / PA degree / Computable function / Reverse mathematics / Model theory / Forcing / Combinatory logic / Primitive recursive function / Computability theory / Mathematical logic / Theoretical computer science

THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY’S THEOREM FOR PAIRS DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., BJØRN KJOS-HANSSEN, STEFFEN LEMPP, AND THEODORE A. SLAMAN Abstract. We study the reverse

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2009-07-29 17:55:43
140Tanzanian conservation organisations / Μ-recursive function

Sustainability: The Leadership Challenge Dr. Karl-Henrik Robèrt September 2006, Halifax, Nova Scotia Copyright © 2004 The Natural Step

Add to Reading List

Source URL: www.gpiatlantic.org

Language: English - Date: 2013-08-24 15:00:48
UPDATE